1. A Short Introduction= Short Introduction> to Intuitionistic Logic>
پدیدآورنده : /Grigori Mints
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع :
2. A Short introduction to modal logic
پدیدآورنده : Mints, Grigori E.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Modality )Logic(
رده :
P
25
.
C28
No
.
30
3. A short introduction to intuitionistic logic
پدیدآورنده : / Grigori Mints
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Intuitionistic mathematics,AoohtaMش?setsinnoitiutni seuqitam,Electronic books. , local
رده :
E-BOOK
4. A short introduction to intuitionistic logic
پدیدآورنده : Mints, Grigori E.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
47
.
M56S5
5. COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
پدیدآورنده : P. Martin-Lof, G Mints, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
417
6. Logic Colloquium' 96 :
پدیدآورنده : edited by Jesús M. Larrazabal, Daniel Lascar, Grigori Mints.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.
رده :
QA9
.
A1
E358
1998
7. Logic colloquium'96 : proceedings of the colloquium held in San Sebastian, Spain, July 9-15, 1996
پدیدآورنده : J. M. Larrazabal, D. Lascar, G. Mints )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
12
